Web服务组合行为一致性的形式化描述和分析

Web服务编排和Web服务编制从全局和局部分别定义了Web服务组合的全局交互行为和每个参与者的局部行为,为了保证Web服务组合实现的正确性,Web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对Web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了Web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则。同时通过案例说明了如何形式化地检测Web服务组合的全局交互行为和局部行为之间的一致性。结果显示提出的Web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证Web服务组合的正确性。     

基于混合概率潜在语义分析模型的Web聚类

在电子商务应用中,为了更好地了解用户的内在特征,制定有效的营销策略,提出一种基于混合概率潜在语义分析（H PLSA）模型的Web聚类算法。利用概率潜在语义分析（PLSA）技术分别对用户浏览数据、页面内容信息及内容增强型用户事务数据建立PLSA模型, 通过对数—似然函数对三个PLSA模型进行合并得到用户聚类的H PLSA模型和页面聚类的H PLSA模型。聚类分析中以潜在主题与用户、页面以及站点之间的条件概率作为相似度计算依据,聚类算法采用基于距离的k medoids 算法。设计并构建了H PLSA模型,在该模型上对Web聚类算法进行验证,表明该算法是可行的。     

基于概率超图的视频事件语义检测

视频事件类别的归属具有模糊性和不确定性,将超图的点边射入矩阵拓展成概率形式的软超图进行关联关系分析和语义分析,将会更有利于提高多事件检索检测的精准率和召回率。提出基于概率超图模型的视频事件语义检测算法（PHVESD）。 该方法首先将颜色、灰度共生矩阵、Tchebichef矩、局部二值模式（LBP）等四种底层视觉特征进行融合; 然后定义视频段的亲密度函数并利用亲密度的信息构建概率超图模型,其中每条超边对应一种事件语义;采用随机游走过程来预测视频段属于每条超边的概率;最后结合阈值采用条件概率模型对视频段进行事件语义分类。将该方法用于交通突发事件多语义检测中并与其他的识别算法相比较,实验结果表明,与基于超图模型的多标签随机游走算法（MLRW）相比,PHVESD的算法使多语义事件检测的准确率提高了10%,召回率提高了8%。     

领域知识语义距离及其在专家系统中的应用

面向专家系统中的可程序化知识间距离的测度,在构造领域知识本体及本体树的基础上,建立知识身份距离、知识概念距离、知识属性距离、知识描述距离四个测度,并在规范化后采用有序加权几何算子对其加以集结,形成一个更加全面且应用性强的领域知识语义距离模型,有效地解决了专家系统中领域知识的判别问题。实验表明：该模型可快速地判别专家系统中两领域知识的相似程度,并具有82%以上的评判正确率。     

基于Web3D 的产品虚拟展示与用户定制

针对虚拟展示以及用户定制的特点,对相关技术以及设计工具进行了分析, 提出了基于Web 环境下动态交互浏览以及定制的一般方法。以cult3d 为开发平台,运用相 关动作、事件以及JAS 实现三维模型的形态、色彩的定制以及动态浏览。为了提高用户操 作的便利性,通过媒体合成对自定义事件进行驱动,对界面进行优化,并基于Web3D 技术 设计开发了一套汽车的在线定制与展示系统。     

基于工程语义约束的线束预装配自动规划方法

线束预装配是线束生产的重要环节,论文通过总结线束工艺设计中的工程 语义约束信息,建立装配关联图模型,提出了一种线束预装配自动规划方法。该方法通过主 件选择、最大子装配体提取、工程语义约束检测来实现对预装配序列自动规划,而无需与用 户进行交互。最后的实例表明该方法是有效可行的,能较好的解决大线束图纸中装配序列规 划问题。     

合同能源管理机制在上海地区的应用

阐述了合同能源管理的特点及实质,指出能源服务公司参与企业节能项目实施对企业的可持续发展有利,介绍了上海开展合同能源管理的情况,以实例说明合同能源管理项目获取经济效益的手段,认为合同能源管理是电力需求侧管理中不可或缺且行之有效的一种方法。     

PDM中基于Web的文档管理系统研究及应用

针对现有产品数据管理系统的缺点和企业的实际需求,提出以Web和J2EE技术为集成框架,实现分布式PDM系统中文档管理功能,介绍了基于Web的PDM文档管理系统设计方法及其体系结构,以面向对象的思想,分析了利用J2EE中间件技术和Web的三层B／S计算模式实现文档管理的关键技术并给出具体的实现方法,最后给出了系统的一个实际应用案例,该项目的研究为企业通过Intemet技术实现数据共享、协同设计奠定了良好的理论基础。     

定尺飞锯模拟伺服系统的数字化改造

简要介绍了定尺飞锯伺服系统的结构、工作原理及存在问题,以及利用西门子6RA24系列数字直流可逆调速装置对该系统的数字化改造。实践证明改造后系统控制灵活,定尺精度、可靠性均有明显提高。     

云机器人:概念、架构与关键技术研究综述

云机器人是云计算技术和机器人学的结合,在机器人任务执行和资源共享等方面有很大优势,现已成为智能机器人领域的研究热点。主要从云机器人的发展、关键技术、主要平台、架构和应用前景等几个方面对云机器人的研究进行综述。介绍了云机器人的提出和发展状况及其相关技术基础,并对3种主流的云机器人服务平台进行了横向对比,分析了云机器人的主要系统架构。最后对云机器人的应用前景进行了展望。